Math 261C: Randomized Algorithms
نویسنده
چکیده
To prove the theorem, we start by encoding a CNF, φ with a polynomial, φ(x1, . . . , xn) over N. The number 1 encodes ⊤, the number 0 encodes ⊥. The formula φ∗ is defined inductively. For the base cases, xi ∗ = xi, and x̄i ∗ = 1−xi. Inductively, we have (a∧b∧c) ∗ = a∗ · b∗ · c∗, and (a∨ b∨ c)∗ = 1− (1− a∗)∗ · (1− b∗) · (1− c∗). It suffices to consider 3-SAT, but it is easy to generalize these notions. Observe that deg(φ) ≤ |φ|. Next, notice that
منابع مشابه
A randomized scheme for speeding up algorithms for linear and convex programming problems with high constraints-to-variables ratio
We extend Clarkson's randomized algorithm for linear programming to a general scheme for solving convex optimization problems. The scheme can be used to speed up existing algorithms on problems which have many more constraints than variables. In particular, we give a randomized algorithm for solving convex quadratic and linear programs, which uses that scheme together with a variant of Karmarka...
متن کاملOptimal Online Algorithms for Minimax Resource Scheduling
We consider a very general online scheduling problem with an objective to minimize the maximum level of resource allocated. We find a simple characterization of an optimal deterministic online algorithm. We develop further results for two more specific problems, single resource scheduling and hierarchical line balancing. We determine how to compute optimal online algorithms for both problems us...
متن کاملRandomized first order algorithms with applications to ℓ 1-minimization
In this paper we propose randomized first-order algorithms for solving bilinear saddle points problems. Our developments are motivated by the need for sublinear time algorithms to solve large-scale parametric bilinear saddle point problems where cheap online assessment of the solution quality is crucial. We present the theoretical efficiency estimates of our algorithms and discuss a number of a...
متن کاملEfficient algorithms for cur and interpolative matrix decompositions
The manuscript describes efficient algorithms for the computation of the CUR and ID decompositions. The methods used are based on simple modifications to the classical truncated pivoted QR decomposition, which means that highly optimized library codes can be utilized for implementation. For certain applications, further acceleration can be attained by incorporating techniques based on randomize...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014